body {
  margin: 0;
  font-family: 'Avenir', Helvetica, Arial, -apple-system, BlinkMacSystemFont,
    'Segoe UI', 'Roboto', 'Oxygen', 'Ubuntu', 'Cantarell', 'Fira Sans',
    'Droid Sans', 'Helvetica Neue', sans-serif;
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale;
}

code {
  font-family: source-code-pro, Menlo, Monaco, Consolas, 'Courier New',
    monospace;
}

.app {
  min-height: 100vh;
  margin: 6rem 0;
}

.logo {
  width: 300px;
}

.app {
  display: flex;
  flex-direction: column;
  align-items: center;
}

.lambda {
  display: inline-block;
  box-sizing: border-box;
  padding: 4px 8px;
  background-color: #e3e3e3;
  border-radius: 4px;
  margin-right: 8px;
  font-family: source-code-pro, Menlo, Monaco, Consolas, 'Courier New',
    monospace;
}
